#ifndef _GPIO_
#define _GPIO_


#define GPIO0 0
#define GPIO1 1
#define GPIO2 2

void write_gpio(uint32_t gpio, uint32_t level);

uint32_t read_gpio(uint32_t gpio);

#endif